Leonardo Moura: ძიება ვებგვერდზე Z-Library

თავისუფალი წვდომა ცოდნასა და კულტურასთან.

Don't use scam websites

გამოყენებულია ფილტრები

ზუსტი შესაბამისობა

ზუსტი შესაბამისობა

1

Como analisar filmes e séries na era do streaming

Como analisar filmes e séries na era do streaming

Summus Editorial

წელი:

2023

ენა:

portuguese

ფაილი:

EPUB, 777 KB

0 / 0

portuguese, 2023

2

Automated deduction -- CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings

Automated deduction -- CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings

Moura, Leonardo de

წელი:

2017

ენა:

english

ფაილი:

PDF, 14.98 MB

0 / 0

english, 2017

3

Revista Trasgo - Edição 16

Revista Trasgo - Edição 16

Revista Trasgo & Anna Fagundes Martino & Bruna Nora & Carolina Menegotto & Leonardo Maran Neiva & Sandro G. Moura & Vimala Ananda Jay

წელი:

2017

ენა:

portuguese

ფაილი:

EPUB, 2.82 MB

0 / 0

portuguese, 2017

4

Como analisar filmes e séries na era do streaming

Como analisar filmes e séries na era do streaming

Summus Editorial

წელი:

2023

ენა:

portuguese

ფაილი:

PDF, 1.57 MB

0 / 0

portuguese, 2023

5

Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings

Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Nikolaj Bjørner, Leonardo de Moura (auth.), Joël Ouaknine, Frits W. Vaandrager (eds.)

წელი:

2009

ენა:

english

ფაილი:

PDF, 3.56 MB

0 / 0

english, 2009

6

Principles and Practice of Constraint Programming – CP 2011: 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings

Principles and Practice of Constraint Programming – CP 2011: 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Leonardo de Moura (auth.), Jimmy Lee (eds.)

წელი:

2011

ენა:

english

ფაილი:

PDF, 10.56 MB

0 / 0

english, 2011

7

Principles and Practice of Constraint Programming – CP 2011: 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings

Principles and Practice of Constraint Programming – CP 2011: 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Leonardo de Moura (auth.), Jimmy Lee (eds.)

წელი:

2011

ენა:

english

ფაილი:

PDF, 10.46 MB

0 / 0

english, 2011

8

Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings

Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Leonardo de Moura, Dejan Jovanović (auth.), Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni (eds.)

წელი:

2013

ენა:

english

ფაილი:

PDF, 7.35 MB

0 / 0

english, 2013

9

Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings

Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings

Springer International Publishing

Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa (eds.)

წელი:

2016

ენა:

english

ფაილი:

PDF, 7.44 MB

0 / 0

english, 2016

10

Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings

Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Ball, Nikolaj Bjørner, Leonardo de Moura, Kenneth L. McMillan, Margus Veanes (auth.), Alastair Donaldson, David Parker (eds.)

წელი:

2012

ენა:

english

ფაილი:

PDF, 4.24 MB

0 / 0

english, 2012

11

Formal Methods: Foundations and Applications: 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings

Formal Methods: Foundations and Applications: 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings

Springer-Verlag Berlin Heidelberg

Christiano Braga, Cássio Santos (auth.), Juliano Iyoda, Leonardo de Moura (eds.)

წელი:

2013

ენა:

english

ფაილი:

PDF, 3.22 MB

0 / 0

english, 2013

12

Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings

Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Ball, Nikolaj Bjørner, Leonardo de Moura, Kenneth L. McMillan, Margus Veanes (auth.), Alastair Donaldson, David Parker (eds.)

წელი:

2012

ენა:

english

ფაილი:

PDF, 4.69 MB

0 / 0

english, 2012

13

Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings

Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Nikolaj Bjørner, Leonardo de Moura (auth.), Joël Ouaknine, Frits W. Vaandrager (eds.)

წელი:

2009

ენა:

english

ფაილი:

PDF, 4.35 MB

0 / 0

english, 2009

14

Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings

Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Nikolaj Bjørner, Leonardo de Moura (auth.), Joël Ouaknine, Frits W. Vaandrager (eds.)

წელი:

2009

ენა:

english

ფაილი:

PDF, 4.41 MB

0 / 0

english, 2009